adduce proofs